WS–Agreement is one of the most widely usedSLA specifications. An advantage of WS–Agreement overother agreement metamodels is that it allows one to define con4ditional and optional term sets inside an agreement document,which are commonly found features in real-world agreements.Unfortunately, they increase the complexity of the automateddetection and explanation of conflicts between SLA terms,leading to new kind of conflicts that are not supported bycurrent techniques. Furthermore, creating a general-purposeconflict analyser in WS–Agreement is a hard task since itshould understand the semantics of an unbounded numberof languages that can be used in the eight extension pointsthat WS–Agreement includes for the sake of flexibility. Inthis article we address these issues by providing a conflictclassification for SLAs that includes new conflicts derivedfrom the use of conditional and optional term sets; anda novel, language-agnostic technique based on constraintsatisfaction problems to automatically detect and explain theseconflicts. In pursuing these results, we defined some WS–Agreement concepts as well as a fully-fledged WS–Agreementcompliant language. The developed technique and its referenceimplementation have been thoroughly validated.
展开▼
